بررسی روش های تجرید مدل های ربکا به منظور درستی یابی صوری

مقایسه روش های زمین آمار به منظور تعیین بهترین روش درون یابی داده های زیست اقلیمی در مدل سازی پراکنش گونه های جانوری در مرکز ایران

Climatic change can impose physiological constraints on species and can therefore affect species distribution. Bioclimatic predictors, including annual trends, regimes, thresholds and bio-limiting factors are the most important independent variables in species distribution models. Water and temperature are the most limiting factors in arid ecosystem in central Iran. Therefore, mapping of climat...

درستی یابی صوری سیستم های شی ء بنیاد توسط جبر پردازه ای

چکیده ندارد.

بررسی وضعیت کتابخانه های دانشگاه علوم پزشکی تهران به منظور زمینه یابی ایجاد شبکۀ رایانه ای

یک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها

چکیده ندارد.

کاربرد انواع روش¬های درون¬یابی به منظور پایش و تحلیل فضایی خشکسالی مورد: استان خراسان رضوی

خشکسالی یکی از پیچیده­ترین بلایای طبیعی است. این پدیده دارای ویژگی­های متفاوتی است که توسط شاخص­های متفاوتی محاسبه می­گردد. از آنجایی که این شاخص­ها متکی به متغیّرهای اقلیمی و ایستگاه­های هواشناسی می­باشند بنابراین قابلیت ثبت آنها در تمامی مکان­ها به شکل پیوسته نیست. بر این اساس جهت تخمین مقدار متغیّرهای هواشناسی در مکان­های نمونه­برداری نشده و تهیه نقشه­های پیوسته از روش­های درون­یابی فضایی استف...

ارایه مدل ریاضی به منظور بررسی فرآیند گیاه پالایی خاک های آلوده به مواد نفتی

در سال های اخیر استفاده از گیاهان به منظور پالایش خاک های آلوده به مواد نفتی بسیار مورد توجه قرار گرفته است. با وجود آن که در این راستا کوشش های آزمایشگاهی و تجربی زیادی صورت پذیرفته، امااین کوشش ها بر اساس پیش بینی های تحلیلی ومدل سازی ریاضی نبوده است. مفاهیم نظری این پدیده، از نقطه نظر بررسی تاثیر هر یک ازمتغیر های موثر بر فرایند، دارای اهمیت می باشد. بررسی حاضر تلاشی در راستای شناسایی و تعیی...